- 2 402 202 книги
#1
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)
Dines Bjørner, Cliff B. Jones (editors)Категория: Компьютеры
14.98 Mb
#2
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)
Dines BjørnerКатегория: Компьютеры
7.31 Mb
#3
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Dines Bjørner
7.77 Mb
#5
Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)
Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler
7.81 Mb
#7
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Dines Bjørner
53.92 Mb
#8
Domain engineering : technology, management, research and engineering (COE Research Monograph Series,Vol.4)
Dines Bjørner
32.72 Mb
#9
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Dines Bjørner
39.92 Mb
#11
New perspectives in algebraic combinatorics (proc.MSRI)
Louis J. Billera, Anders Björner, Curtis Greene, Rodica E. Simion, Richard P. Stanley
4.20 Mb
#12
Oriented matroids
Anders Björner, Michel Las Vergnas, Bernd Sturmfels, Neil White, Gunter M. Ziegler
5.11 Mb
#13
Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry
Jiri Matousek, A. Björner, G.M. ZieglerКатегория: Mathematics, Geometry and topology
1.72 Mb
#19
Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry
Jiri Matousek, A. Björner, G.M. Ziegler
2.22 Mb
#20
Software Engineering 1: Abstraction and Modelling
Dines BjørnerКатегория: Cs_Computer science, CsAl_Algorithms
8.01 Mb
